$\forall$${\it es}$:ES, $Q$:(E$\rightarrow$E$\rightarrow\mathbb{P}$), $X$:AbsInterface(Top), $p$:retrace(${\it es}$; $Q$; $X$).
\\[0ex]retracer($p$) $\in$ E$\rightarrow$(E($X$) List)